<?php
function example() : never {}
